COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "memo.pub[let,jmc]" source
C00005 ENDMK
C⊗;
.require "memo.pub[let,jmc]" source;
.turn on "→"
→{date}
.cb PREPARATION FOR AI QUAL


	Please be prepared to discuss the following questions orally.
If you want to prepare a two page written discussion for the exam
committee, you may do so.

.item←0
	One computer program says about another, "It knows I want
to use the telephone line to Boston, and it is deliberately holding
on to it in order to prevent my using it."  

	#. English aside, how would you represent such an assertion
as a LISP, PLANNER or first order logic data structure?

	#. What semantics would you give this assertion, i.e. in what
states of the world would you regard it as true?

	#. How would you axiomatize the concepts involved, what rules
of inference would you use, and/or what MICROPLANNER "theorems" involving
them would you give a program that must generate such a statement and
use it?

	#. From what evidence might the computer deduce such a statement?
E.g. from what external observations?

	#. When if ever would it be important for a computer program to be
able to use such assertions?

	As stated in the old syllabus, discussion of this question
will take about half the exam time.

	Examiners and Examinees should meet at 9:30 am, Saturday, May 14
in 204 Polya.